On HS = SH and Duality Theorems of Intuitionistic Descriptive Frames
نویسنده
چکیده
The variety of Heyting algebras has a nice property that HS = SH. Heyting algebras are the algebraic dual of intuitionistic descriptive frames. The goal of this paper is to define proper dual notions so as to formulate this algebraic properties in the frame language, and to give a frame-based proof of this property and some other duality theorems.
منابع مشابه
Exponential membership function and duality gaps for I-fuzzy linear programming problems
Fuzziness is ever presented in real life decision making problems. In this paper, we adapt the pessimistic approach tostudy a pair of linear primal-dual problem under intuitionistic fuzzy (I-fuzzy) environment and prove certain dualityresults. We generate the duality results using exponential membership and non-membership functions to represent thedecision maker’s satisfaction and dissatisfacti...
متن کاملWEAK AND STRONG DUALITY THEOREMS FOR FUZZY CONIC OPTIMIZATION PROBLEMS
The objective of this paper is to deal with the fuzzy conic program- ming problems. The aim here is to derive weak and strong duality theorems for a general fuzzy conic programming. Toward this end, The convexity-like concept of fuzzy mappings is introduced and then a speci c ordering cone is established based on the parameterized representation of fuzzy numbers. Un- der this setting, duality t...
متن کاملDuality of $g$-Bessel sequences and some results about RIP $g$-frames
In this paper, first we develop the duality concept for $g$-Bessel sequences and Bessel fusion sequences in Hilbert spaces. We obtain some results about dual, pseudo-dual and approximate dual of frames and fusion frames. We also expand every $g$-Bessel sequence to a frame by summing some elements. We define the restricted isometry property for $g$-frames and generalize some resu...
متن کاملOn a new G-frame and duality
We introduce a new g-frame (singleton g-frame), g-orthonormal basis and g-Riesz basis and study corresponding notions in some other generalizations of frames.Also, we investigate duality for some kinds of g-frames. Finally, we illustrate an example which provides a suitable translation from discrete frames to Sun's g-frames.
متن کاملSOME RESULTS ON INTUITIONISTIC FUZZY SPACES
In this paper we define intuitionistic fuzzy metric and normedspaces. We first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. In section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. Finally,we consider some properties of...
متن کامل